Make stubdom/Makefile override XEN_OS to MiniOS, and add
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 12 Feb 2008 15:03:07 +0000 (15:03 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 12 Feb 2008 15:03:07 +0000 (15:03 +0000)
commit6e30359431245bde61c200b0e88ac256e6f7978e
treefdea0807b90b53f41e2958201d1cc287ec4ece5a
parent03dc7c2febb658da3fb7bf0b814e69c098d56bce
Make stubdom/Makefile override XEN_OS to MiniOS, and add
config/MiniOS.mk. Add PTHREAD_LIBS to configs (usually holding
-lpthread).

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Config.mk
config/MiniOS.mk [new file with mode: 0644]
config/StdGNU.mk
config/SunOS.mk
stubdom/Makefile
tools/libxc/Makefile